NetDEO: Automating Network Design, Evolution, and Optimization Zhenyu Wu∗ , Yueping Zhang†, Vishal Singh†, Guofei Jiang†, and Haining Wang∗ ∗ Department of Computer Science, College of William and Mary, Will

Source URL: www.cs.wm.edu

Optimization (and Learning) Steve Wright1 1 Computer Sciences Department, University of Wisconsin,

Source URL: mlss.tuebingen.mpg.de

Two Characterizations of Success of Ergodic Markov Chain Families for Combinatorial Optimization Swagato Sanyal1 and Somenath Biswas2 1 School of Technology and Computer Science

Source URL: www.cse.iitk.ac.in

2 Master of Science in Applied Mathematics and Computational Science APPLIED MATHEMATICS & COMPUTATIONAL SCIENCE The Master in Applied Mathematics &

Source URL: www.mcs.usi.ch

• Academia
• Computational science
• Applied mathematics
• Computational mechanics
• Mechanics
• University of Lugano
• Informatics
• Mathematical optimization
• Computer science
• Computational biology
• Numerical analysis
• Computational mathematics

Towards Correlating Search on Google and Asking on Stack Overflow Chunyang Chen and Zhenchang Xing School of Computer Engineering, Nanyang Technological University, Singapore ;

Source URL: ccywch.github.io

• Internet search engines
• Alphabet Inc.
• Stack Overflow
• Google Search
• Bing
• Google Trends
• Stack
• Google
• Search engine optimization
• Web search engine
• Search engine technology
• ASP.NET MVC

Closing the Gap Between Short and Long XORs for Model Counting Shengjia Zhao Sorathan Chaturapruek Computer Science Department Computer Science Department

Source URL: ai2-website.s3.amazonaws.com

• Computational complexity theory
• Convex optimization
• Probability
• Mathematics
• Coding theory
• Error detection and correction
• Low-density parity-check code
• PP
• Bayesian network
• Linear programming

Optimization and Machine Learning Chih-Jen Lin Department of Computer Science National Taiwan University Talk at 25th Simon Stevin Lecture, K. U. Leuven Optimization in

Source URL: www.csie.ntu.edu.tw

Byzantine Agreement with Median Validity David Stolz1 and Roger Wattenhofer1 1 ETH Zürich Switzerland

Source URL: www.tik.ee.ethz.ch

• Computing
• Computer programming
• Graph theory
• Consensus
• Binary trees
• Combinatorial optimization
• Routing algorithms
• Search algorithms
• Parallel Tree Contraction
• Redblack tree

Reviving Partial Order Planning XuanLong Nguyen & Subbarao Kambhampati Department of Computer Science and Engineering Arizona State University, Tempe AZEmail: fxuanlong,

Source URL: rakaposhi.eas.asu.edu

• Automated planning and scheduling
• Operations research
• Partial-order planning
• Search algorithms
• Theoretical computer science
• Graphplan
• Mathematical optimization
• Algorithm
• Heuristic
• Planning

Basic to Advanced GAMS Modeling Frisco Colorado, Aug 8 - Aug 12, 2016 This is an offering of five day bridged Basic to Advanced GAMS class. This will be a GAMS class designed for users initially who know little about GAM

Source URL: www.gams.com

• Computer algebra systems
• Mathematical modeling
• Operations research
• Mathematical optimization
• Gams
• Computable general equilibrium
• SAMPL
• Applied mathematics
• Mathematics
• Software engineering
• General Algebraic Modeling System
• Draft:Extended mathematical programming